reducible transformation

可约变换